nonredundant set of structural formulas

Макаров: неизбыточный набор структурных формул